module

public import Mathlib.Analysis.Matrix.HermitianFunctionalCalculus

deprecated_module (since := "2025-11-13")
